A proof-theoretic account of classical principles of truth
نویسنده
چکیده
This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truththeoretic principles as isolated in Leigh and Rathjen 2012.
منابع مشابه
Some weak theories of truth∗
In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic. It seems that each axiomatic theory of truth that occurs in the literature is equipped with its own unique proof-theoretic ord...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملGibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach
Hence, (iv) is (also) a logical truth. Thus, A C entails A C. Therefore, in general, p q entails p q and p q entails p q. That is, in general, and are logically equivalent. QED. In this note, I present a formal axiomatization of the (theoretic and metatheoretic) assumptions, which I take to be essential to the Gibbardian collapse phenomenon. This will lead to a formal proof of what I will call ...
متن کاملProof-Theoretic versus Model-Theoretic Consequence
M A ⇔df (∀M) [ (∀B ∈ M)(M B) ⇒ M A ]. Thus consequence is transmission of truth from the premisses to the conclusion, where ‘transmission’ is understood in the simple declarative sense of classical implication: if the premisses are true (in a model-theoretic structure), then so is the conclusion. This means in particular that truth is conceptually prior to consequence, as the latter is explaine...
متن کاملAn ordinal analysis for theories of self-referential truth
The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard [11]. There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 164 شماره
صفحات -
تاریخ انتشار 2013